- Computer come Euclide?«Un teorema dimostrato a macchina»
Computer come Euclide? Un teorema dimostrato «a macchina» grado di determinare milioni di teoremi deducibili da un dato insieme di ipotesi. In verità finora i dimostratori automatici di teoremi non hanno portato contributi rivoluzionari al progresso della matematica o di altre discipline scienti...
Persone citate: George Boole, Herbert Robbins, Huntington, Larry Wos, Robbins, William MccuneLuoghi citati: Illinois- L'ex presidente Eisenhower operato per blocco intestinale
A/uovo allarme al «Walter Reed* di Washington L'ex presidente Eisenhower operato per blocco intestinale L'intervento è stato deciso dopo un consulto - La malattia non è stata superata con i mezzi convenzionali cui i medici avevano fatto ricorso Nostro servizio particolare Washington, lunedì matt...
Persone citate: Dwight Eìsenhower, Eisenhower, Thomas Mattingly, Walter Reed, William MccuneLuoghi citati: Stati Uniti, Washington
In collaborazione con
Accessibilità |
Note legali e privacy |
Cookie policy